Перевод: со всех языков на все языки

со всех языков на все языки

higher-order term

См. также в других словарях:

  • Higher order grammar — (HOG) is a grammar theory based on higher order logic. It can be viewed simultaneously as generative enumerative (like Categorial Grammar and Principles Parameters) or model theoretic (like Head Driven Phrase Structure Grammar or Lexical… …   Wikipedia

  • Higher-order volition — Higher order volitions (or higher order desire), as opposed to action determining volitions, are volitions about volitions. Higher order volitions are potentially more often guided by long term convictions and reasoning.A first order volition is… …   Wikipedia

  • Higher-order abstract syntax — In computer science, higher order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.Relation to first order abstract syntaxAn abstract syntax tree is abstract… …   Wikipedia

  • Higher category theory — is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Contents 1 Strict higher categories 2 Weak higher… …   Wikipedia

  • Order of British Columbia — Awarded by the Lieutenant Governor of British Columbia Type National order Eligibility …   Wikipedia

  • Order of the White Rose of Finland — Suomen Valkoisen Ruusun ritarikunta Grand Cross of the White Rose of Finland with Collar Awarded by …   Wikipedia

  • Order of battle — In modern use, the order of battle is the identification, command structure, strength, and disposition of personnel, equipment, and units of an armed force participating in field operations. Various abbreviations are in use, including OOB, O/B,… …   Wikipedia

  • Order of the Iron Crown — This article is about an order of the Napoleonic Kingdom of Italy. For the Austrian order, see Order of the Iron Crown (Austria). Imperial Order of the Iron Crown Imperial Ordine della Corona Ferrea (French) Im …   Wikipedia

  • Higher education in British Columbia — is delivered by 26 publicly funded institutions that are composed of eleven universities, twelve colleges, and three institutes. This is in addition to three private universities, five private colleges, and six theological colleges. There are… …   Wikipedia

  • Higher education in Portugal — is divided into two main subsystems: university and polytechnic education. It is provided in autonomous public universities, private universities, public or private polytechnic institutions and higher education institutions of other types. Higher …   Wikipedia

  • Order of Friars Minor —     Order of Friars Minor     † Catholic Encyclopedia ► Order of Friars Minor     (Also known as FRANCISCANS.) This subject may be conveniently considered under the following heads:     I. General History of the Order;     A. First Period (1209… …   Catholic encyclopedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»